Total Books: 1 - 2 /2
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Weiterlesen
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Weiterlesen
Total Books: 1 - 2 /2
